
<!DOCTYPE html>
<html>
<head>

    
        <style>
            .railroad-heading {
                font-family: monospace;
            }
        </style>
    

</head>
<body>

<meta charset="UTF-8"/>


    <div class="railroad-group">
        <h1 class="railroad-heading" id="chemical-formula-0011">chemical_formula</h1>
        <div class="railroad-description"></div>
        <div class="railroad-svg">
            <svg class="railroad-diagram" height="71" viewBox="0 0 293.0 71" width="293.0" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="translate(.5 .5)">
<g>
<path d="M20 21v20m10 -20v20m-10 -10h20" /></g><path d="M40 31h10" /><g>
<path d="M50 31h0.0" /><path d="M243.0 31h0.0" /><path d="M50.0 31h10" /><g class="non-terminal ">
<path d="M60.0 31h0.0" /><path d="M233.0 31h0.0" /><rect height="22" width="173" x="60" y="20"></rect><a xlink:href="#element-expression-0004"><text x="146.5" y="35">element_expression</text><text x="146.5" y="35">element_expression</text></a></g><path d="M233.0 31h10" /><path d="M60.0 31a10 10 0 0 0 -10 10v0a10 10 0 0 0 10 10" /><g>
<path d="M60.0 51h173.0" /></g><path d="M233.0 51a10 10 0 0 0 10 -10v0a10 10 0 0 0 -10 -10" /></g><path d="M243.0 31h10" /><path d="M 253.0 31 h 20 m -10 -10 v 20 m 10 -20 v 20"></path></g><style>/* <![CDATA[ */
	svg.railroad-diagram {
		background-color:hsl(30,20%,95%);
	}
	svg.railroad-diagram path {
		stroke-width:3;
		stroke:black;
		fill:rgba(0,0,0,0);
	}
	svg.railroad-diagram text {
		font:bold 14px monospace;
		text-anchor:middle;
	}
	svg.railroad-diagram text.label{
		text-anchor:start;
	}
	svg.railroad-diagram text.comment{
		font:italic 12px monospace;
	}
	svg.railroad-diagram rect{
		stroke-width:3;
		stroke:black;
		fill:hsl(120,100%,90%);
	}
	svg.railroad-diagram rect.group-box {
		stroke: gray;
		stroke-dasharray: 10 5;
		fill: none;
	}

/* ]]> */
</style></svg>
        </div>
    </div>

    <div class="railroad-group">
        <h1 class="railroad-heading" id="element-expression-0004">element_expression</h1>
        <div class="railroad-description"></div>
        <div class="railroad-svg">
            <svg class="railroad-diagram" height="62" viewBox="0 0 366.5 62" width="366.5" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="translate(.5 .5)">
<g>
<path d="M20 21v20m10 -20v20m-10 -10h20" /></g><path d="M40 31h10" /><g>
<path d="M50 31h0.0" /><path d="M316.5 31h0.0" /><g class="non-terminal ">
<path d="M50.0 31h0.0" /><path d="M316.5 31h0.0" /><rect height="22" width="266.5" x="50" y="20"></rect><a xlink:href="#z-suppress-operations-0010"><text x="183.25" y="35">[Suppress:(= | ·)] operations</text><text x="183.25" y="35">[Suppress:(= | ·)] operations</text></a></g></g><path d="M316.5 31h10" /><path d="M 326.5 31 h 20 m -10 -10 v 20 m 10 -20 v 20"></path></g><style>/* <![CDATA[ */
	svg.railroad-diagram {
		background-color:hsl(30,20%,95%);
	}
	svg.railroad-diagram path {
		stroke-width:3;
		stroke:black;
		fill:rgba(0,0,0,0);
	}
	svg.railroad-diagram text {
		font:bold 14px monospace;
		text-anchor:middle;
	}
	svg.railroad-diagram text.label{
		text-anchor:start;
	}
	svg.railroad-diagram text.comment{
		font:italic 12px monospace;
	}
	svg.railroad-diagram rect{
		stroke-width:3;
		stroke:black;
		fill:hsl(120,100%,90%);
	}
	svg.railroad-diagram rect.group-box {
		stroke: gray;
		stroke-dasharray: 10 5;
		fill: none;
	}

/* ]]> */
</style></svg>
        </div>
    </div>

    <div class="railroad-group">
        <h1 class="railroad-heading" id="z-suppress-operations-0010">[Suppress:(= | ·)] operations</h1>
        <div class="railroad-description"></div>
        <div class="railroad-svg">
            <svg class="railroad-diagram" height="95" viewBox="0 0 932.0 95" width="932.0" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="translate(.5 .5)">
<g>
<path d="M20 37v20m10 -20v20m-10 -10h20" /></g><g>
<path d="M40 47h0.0" /><path d="M892.0 47h0.0" /><path d="M40.0 47a10 10 0 0 0 10 -10v-7a10 10 0 0 1 10 -10h609.0" /><path d="M689.0 67h183.0a10 10 0 0 0 10 -10v0a10 10 0 0 1 10 -10" /><path d="M40.0 47h10" /><g>
<path d="M50.0 47h10.0" /><path d="M659.0 47h10.0" /><g>
<path d="M60.0 47h0.0" /><path d="M659.0 47h0.0" /><rect class="group-box" height="47" rx="10" ry="10" width="599" x="60" y="28"></rect><g>
<path d="M60.0 47h10.0" /><path d="M649.0 47h10.0" /><g class="non-terminal ">
<path d="M70.0 47h0.0" /><path d="M243.0 47h0.0" /><rect height="22" width="173" x="70" y="36"></rect><a xlink:href="#integer-operations-0002"><text x="156.5" y="51">integer operations</text><text x="156.5" y="51">integer operations</text></a></g><path d="M243.0 47h10" /><path d="M253.0 47h10" /><g>
<path d="M263.0 47h0.0" /><path d="M649.0 47h0.0" /><path d="M263.0 47h10" /><g>
<path d="M273.0 47h0.0" /><path d="M639.0 47h0.0" /><g class="non-terminal ">
<path d="M273.0 47h0.0" /><path d="M446.0 47h0.0" /><rect height="22" width="173" x="273" y="36"></rect><a xlink:href="#optional-separator-0009"><text x="359.5" y="51">optional_separator</text><text x="359.5" y="51">optional_separator</text></a></g><path d="M446.0 47h10" /><path d="M456.0 47h10" /><g class="non-terminal ">
<path d="M466.0 47h0.0" /><path d="M639.0 47h0.0" /><rect height="22" width="173" x="466" y="36"></rect><a xlink:href="#integer-operations-0002"><text x="552.5" y="51">integer operations</text><text x="552.5" y="51">integer operations</text></a></g></g><path d="M639.0 47h10" /><path d="M273.0 47a10 10 0 0 0 -10 10v0a10 10 0 0 0 10 10" /><g>
<path d="M273.0 67h366.0" /></g><path d="M639.0 67a10 10 0 0 0 10 -10v0a10 10 0 0 0 -10 -10" /></g></g></g></g><path d="M669.0 47a10 10 0 0 1 10 10v0a10 10 0 0 0 10 10" /><path d="M669.0 20a10 10 0 0 1 10 10v7a10 10 0 0 0 10 10" /><g class="non-terminal ">
<path d="M689.0 47h10.0" /><path d="M872.0 47h10.0" /><rect height="22" width="173" x="699" y="36"></rect><a xlink:href="#integer-operations-0002"><text x="785.5" y="51">integer operations</text><text x="785.5" y="51">integer operations</text></a></g><path d="M882.0 47h10" /></g><path d="M 892.0 47 h 20 m -10 -10 v 20 m 10 -20 v 20"></path></g><style>/* <![CDATA[ */
	svg.railroad-diagram {
		background-color:hsl(30,20%,95%);
	}
	svg.railroad-diagram path {
		stroke-width:3;
		stroke:black;
		fill:rgba(0,0,0,0);
	}
	svg.railroad-diagram text {
		font:bold 14px monospace;
		text-anchor:middle;
	}
	svg.railroad-diagram text.label{
		text-anchor:start;
	}
	svg.railroad-diagram text.comment{
		font:italic 12px monospace;
	}
	svg.railroad-diagram rect{
		stroke-width:3;
		stroke:black;
		fill:hsl(120,100%,90%);
	}
	svg.railroad-diagram rect.group-box {
		stroke: gray;
		stroke-dasharray: 10 5;
		fill: none;
	}

/* ]]> */
</style></svg>
        </div>
    </div>

    <div class="railroad-group">
        <h1 class="railroad-heading" id="integer-operations-0002">integer operations</h1>
        <div class="railroad-description"></div>
        <div class="railroad-svg">
            <svg class="railroad-diagram" height="96" viewBox="0 0 672.5 96" width="672.5" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="translate(.5 .5)">
<g>
<path d="M20 46v20m10 -20v20m-10 -10h20" /></g><g>
<path d="M40 56h0.0" /><path d="M632.5 56h0.0" /><path d="M40.0 56a10 10 0 0 0 10 -10v-16a10 10 0 0 1 10 -10h332.5" /><path d="M412.5 76h200.0a10 10 0 0 0 10 -10v0a10 10 0 0 1 10 -10" /><path d="M40.0 56h10" /><g>
<path d="M50.0 56h10.0" /><path d="M382.5 56h10.0" /><g>
<path d="M60.0 56h0.0" /><path d="M382.5 56h0.0" /><rect class="group-box" height="47" rx="10" ry="10" width="322.5" x="60" y="28"></rect><g>
<path d="M60.0 56h10.0" /><path d="M372.5 56h10.0" /><g>
<path d="M70.0 56h0.0" /><path d="M189.5 56h0.0" /><path d="M70.0 56a10 10 0 0 0 10 -10v0a10 10 0 0 1 10 -10" /><g>
<path d="M90.0 36h79.5" /></g><path d="M169.5 36a10 10 0 0 1 10 10v0a10 10 0 0 0 10 10" /><path d="M70.0 56h20" /><g class="non-terminal ">
<path d="M90.0 56h0.0" /><path d="M169.5 56h0.0" /><rect height="22" width="79.5" x="90" y="45"></rect><a xlink:href="#integer-0001"><text x="129.75" y="60">integer</text><text x="129.75" y="60">integer</text></a></g><path d="M169.5 56h20" /></g><path d="M189.5 56h10" /><g class="non-terminal ">
<path d="M199.5 56h0.0" /><path d="M372.5 56h0.0" /><rect height="22" width="173" x="199.5" y="45"></rect><a xlink:href="#integer-operations-0002"><text x="286" y="60">integer operations</text><text x="286" y="60">integer operations</text></a></g></g></g></g><path d="M392.5 56a10 10 0 0 1 10 10v0a10 10 0 0 0 10 10" /><path d="M392.5 20a10 10 0 0 1 10 10v16a10 10 0 0 0 10 10" /><g class="non-terminal ">
<path d="M412.5 56h10.0" /><path d="M612.5 56h10.0" /><rect height="22" width="190" x="422.5" y="45"></rect><a xlink:href="#subscript-operations-0007"><text x="517.5" y="60">subscript operations</text><text x="517.5" y="60">subscript operations</text></a></g><path d="M622.5 56h10" /></g><path d="M 632.5 56 h 20 m -10 -10 v 20 m 10 -20 v 20"></path></g><style>/* <![CDATA[ */
	svg.railroad-diagram {
		background-color:hsl(30,20%,95%);
	}
	svg.railroad-diagram path {
		stroke-width:3;
		stroke:black;
		fill:rgba(0,0,0,0);
	}
	svg.railroad-diagram text {
		font:bold 14px monospace;
		text-anchor:middle;
	}
	svg.railroad-diagram text.label{
		text-anchor:start;
	}
	svg.railroad-diagram text.comment{
		font:italic 12px monospace;
	}
	svg.railroad-diagram rect{
		stroke-width:3;
		stroke:black;
		fill:hsl(120,100%,90%);
	}
	svg.railroad-diagram rect.group-box {
		stroke: gray;
		stroke-dasharray: 10 5;
		fill: none;
	}

/* ]]> */
</style></svg>
        </div>
    </div>

    <div class="railroad-group">
        <h1 class="railroad-heading" id="integer-0001">integer</h1>
        <div class="railroad-description"></div>
        <div class="railroad-svg">
            <svg class="railroad-diagram" height="62" viewBox="0 0 179.5 62" width="179.5" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="translate(.5 .5)">
<g>
<path d="M20 21v20m10 -20v20m-10 -10h20" /></g><path d="M40 31h10" /><g class="terminal ">
<path d="M50 31h0.0" /><path d="M129.5 31h0.0" /><rect height="22" rx="10" ry="10" width="79.5" x="50" y="20"></rect><text x="89.75" y="35">W:(0-9)</text></g><path d="M129.5 31h10" /><path d="M 139.5 31 h 20 m -10 -10 v 20 m 10 -20 v 20"></path></g><style>/* <![CDATA[ */
	svg.railroad-diagram {
		background-color:hsl(30,20%,95%);
	}
	svg.railroad-diagram path {
		stroke-width:3;
		stroke:black;
		fill:rgba(0,0,0,0);
	}
	svg.railroad-diagram text {
		font:bold 14px monospace;
		text-anchor:middle;
	}
	svg.railroad-diagram text.label{
		text-anchor:start;
	}
	svg.railroad-diagram text.comment{
		font:italic 12px monospace;
	}
	svg.railroad-diagram rect{
		stroke-width:3;
		stroke:black;
		fill:hsl(120,100%,90%);
	}
	svg.railroad-diagram rect.group-box {
		stroke: gray;
		stroke-dasharray: 10 5;
		fill: none;
	}

/* ]]> */
</style></svg>
        </div>
    </div>

    <div class="railroad-group">
        <h1 class="railroad-heading" id="subscript-operations-0007">subscript operations</h1>
        <div class="railroad-description"></div>
        <div class="railroad-svg">
            <svg class="railroad-diagram" height="168" viewBox="0 0 445.5 168" width="445.5" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="translate(.5 .5)">
<g>
<path d="M20 29v20m10 -20v20m-10 -10h20" /></g><g>
<path d="M40 39h0.0" /><path d="M405.5 39h0.0" /><path d="M40.0 39h20" /><g>
<path d="M60.0 39h0.0" /><path d="M385.5 39h0.0" /><g>
<path d="M60.0 39h0.0" /><path d="M385.5 39h0.0" /><rect class="group-box" height="68" rx="10" ry="10" width="325.5" x="60" y="20"></rect><g>
<path d="M60.0 39h10.0" /><path d="M375.5 39h10.0" /><g>
<path d="M70.0 39h0.0" /><path d="M249.0 39h0.0" /><path d="M70.0 39h20" /><g class="non-terminal ">
<path d="M90.0 39h29.75" /><path d="M199.25 39h29.75" /><rect height="22" width="79.5" x="119.75" y="28"></rect><a xlink:href="#element-0003"><text x="159.5" y="43">element</text><text x="159.5" y="43">element</text></a></g><path d="M229.0 39h20" /><path d="M70.0 39a10 10 0 0 1 10 10v10a10 10 0 0 0 10 10" /><g class="non-terminal ">
<path d="M90.0 69h0.0" /><path d="M229.0 69h0.0" /><rect height="22" width="139" x="90" y="58"></rect><a xlink:href="#nested-element-0005"><text x="159.5" y="73">nested_element</text><text x="159.5" y="73">nested_element</text></a></g><path d="M229.0 69a10 10 0 0 0 10 -10v-10a10 10 0 0 1 10 -10" /></g><path d="M249.0 39h10" /><g>
<path d="M259.0 39h0.0" /><path d="M375.5 39h0.0" /><path d="M259.0 39h10" /><g class="non-terminal ">
<path d="M269.0 39h0.0" /><path d="M365.5 39h0.0" /><rect height="22" width="96.5" x="269" y="28"></rect><a xlink:href="#subscript-0006"><text x="317.25" y="43">subscript</text><text x="317.25" y="43">subscript</text></a></g><path d="M365.5 39h10" /><path d="M269.0 39a10 10 0 0 0 -10 10v0a10 10 0 0 0 10 10" /><g>
<path d="M269.0 59h96.5" /></g><path d="M365.5 59a10 10 0 0 0 10 -10v0a10 10 0 0 0 -10 -10" /></g></g></g></g><path d="M385.5 39h20" /><path d="M40.0 39a10 10 0 0 1 10 10v48a10 10 0 0 0 10 10" /><g class="non-terminal ">
<path d="M60.0 107h123.0" /><path d="M262.5 107h123.0" /><rect height="22" width="79.5" x="183" y="96"></rect><a xlink:href="#element-0003"><text x="222.75" y="111">element</text><text x="222.75" y="111">element</text></a></g><path d="M385.5 107a10 10 0 0 0 10 -10v-48a10 10 0 0 1 10 -10" /><path d="M40.0 39a10 10 0 0 1 10 10v78a10 10 0 0 0 10 10" /><g class="non-terminal ">
<path d="M60.0 137h93.25" /><path d="M292.25 137h93.25" /><rect height="22" width="139" x="153.25" y="126"></rect><a xlink:href="#nested-element-0005"><text x="222.75" y="141">nested_element</text><text x="222.75" y="141">nested_element</text></a></g><path d="M385.5 137a10 10 0 0 0 10 -10v-78a10 10 0 0 1 10 -10" /></g><path d="M 405.5 39 h 20 m -10 -10 v 20 m 10 -20 v 20"></path></g><style>/* <![CDATA[ */
	svg.railroad-diagram {
		background-color:hsl(30,20%,95%);
	}
	svg.railroad-diagram path {
		stroke-width:3;
		stroke:black;
		fill:rgba(0,0,0,0);
	}
	svg.railroad-diagram text {
		font:bold 14px monospace;
		text-anchor:middle;
	}
	svg.railroad-diagram text.label{
		text-anchor:start;
	}
	svg.railroad-diagram text.comment{
		font:italic 12px monospace;
	}
	svg.railroad-diagram rect{
		stroke-width:3;
		stroke:black;
		fill:hsl(120,100%,90%);
	}
	svg.railroad-diagram rect.group-box {
		stroke: gray;
		stroke-dasharray: 10 5;
		fill: none;
	}

/* ]]> */
</style></svg>
        </div>
    </div>

    <div class="railroad-group">
        <h1 class="railroad-heading" id="nested-element-0005">nested_element</h1>
        <div class="railroad-description"></div>
        <div class="railroad-svg">
            <svg class="railroad-diagram" height="94" viewBox="0 0 473.0 94" width="473.0" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="translate(.5 .5)">
<g>
<path d="M20 45v20m10 -20v20m-10 -10h20" /></g><path d="M40 55h10" /><g>
<path d="M50 55h0.0" /><path d="M423.0 55h0.0" /><g>
<path d="M50.0 55h0.0" /><path d="M130.0 55h0.0" /><rect class="group-box" height="38" rx="10" ry="10" width="80" x="50" y="36"></rect><g class="terminal ">
<path d="M50.0 55h17.25" /><path d="M112.75 55h17.25" /><rect height="22" rx="10" ry="10" width="45.5" x="67.25" y="44"></rect><text x="90" y="59">&apos;(&apos;</text></g><g class="non-terminal ">
<path d="M50.0 28h0.0" /><path d="M130.0 28h0.0" /><text class="comment" x="90" y="33">[suppress]</text></g></g><path d="M130.0 55h10" /><path d="M140.0 55h10" /><g class="non-terminal ">
<path d="M150.0 55h0.0" /><path d="M323.0 55h0.0" /><rect height="22" width="173" x="150" y="44"></rect><a xlink:href="#element-expression-0004"><text x="236.5" y="59">element_expression</text><text x="236.5" y="59">element_expression</text></a></g><path d="M323.0 55h10" /><path d="M333.0 55h10" /><g>
<path d="M343.0 55h0.0" /><path d="M423.0 55h0.0" /><rect class="group-box" height="38" rx="10" ry="10" width="80" x="343" y="36"></rect><g class="terminal ">
<path d="M343.0 55h17.25" /><path d="M405.75 55h17.25" /><rect height="22" rx="10" ry="10" width="45.5" x="360.25" y="44"></rect><text x="383" y="59">&apos;)&apos;</text></g><g class="non-terminal ">
<path d="M343.0 28h0.0" /><path d="M423.0 28h0.0" /><text class="comment" x="383" y="33">[suppress]</text></g></g></g><path d="M423.0 55h10" /><path d="M 433.0 55 h 20 m -10 -10 v 20 m 10 -20 v 20"></path></g><style>/* <![CDATA[ */
	svg.railroad-diagram {
		background-color:hsl(30,20%,95%);
	}
	svg.railroad-diagram path {
		stroke-width:3;
		stroke:black;
		fill:rgba(0,0,0,0);
	}
	svg.railroad-diagram text {
		font:bold 14px monospace;
		text-anchor:middle;
	}
	svg.railroad-diagram text.label{
		text-anchor:start;
	}
	svg.railroad-diagram text.comment{
		font:italic 12px monospace;
	}
	svg.railroad-diagram rect{
		stroke-width:3;
		stroke:black;
		fill:hsl(120,100%,90%);
	}
	svg.railroad-diagram rect.group-box {
		stroke: gray;
		stroke-dasharray: 10 5;
		fill: none;
	}

/* ]]> */
</style></svg>
        </div>
    </div>

    <div class="railroad-group">
        <h1 class="railroad-heading" id="subscript-0006">subscript</h1>
        <div class="railroad-description"></div>
        <div class="railroad-svg">
            <svg class="railroad-diagram" height="62" viewBox="0 0 179.5 62" width="179.5" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="translate(.5 .5)">
<g>
<path d="M20 21v20m10 -20v20m-10 -10h20" /></g><path d="M40 31h10" /><g class="terminal ">
<path d="M50 31h0.0" /><path d="M129.5 31h0.0" /><rect height="22" rx="10" ry="10" width="79.5" x="50" y="20"></rect><text x="89.75" y="35">W:(₀-₉)</text></g><path d="M129.5 31h10" /><path d="M 139.5 31 h 20 m -10 -10 v 20 m 10 -20 v 20"></path></g><style>/* <![CDATA[ */
	svg.railroad-diagram {
		background-color:hsl(30,20%,95%);
	}
	svg.railroad-diagram path {
		stroke-width:3;
		stroke:black;
		fill:rgba(0,0,0,0);
	}
	svg.railroad-diagram text {
		font:bold 14px monospace;
		text-anchor:middle;
	}
	svg.railroad-diagram text.label{
		text-anchor:start;
	}
	svg.railroad-diagram text.comment{
		font:italic 12px monospace;
	}
	svg.railroad-diagram rect{
		stroke-width:3;
		stroke:black;
		fill:hsl(120,100%,90%);
	}
	svg.railroad-diagram rect.group-box {
		stroke: gray;
		stroke-dasharray: 10 5;
		fill: none;
	}

/* ]]> */
</style></svg>
        </div>
    </div>

    <div class="railroad-group">
        <h1 class="railroad-heading" id="element-0003">element</h1>
        <div class="railroad-description"></div>
        <div class="railroad-svg">
            <svg class="railroad-diagram" height="62" viewBox="0 0 1803.0 62" width="1803.0" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="translate(.5 .5)">
<g>
<path d="M20 21v20m10 -20v20m-10 -10h20" /></g><path d="M40 31h10" /><g class="terminal ">
<path d="M50 31h0.0" /><path d="M1753.0 31h0.0" /><rect height="22" rx="10" ry="10" width="1703" x="50" y="20"></rect><text x="901.5" y="35">A[cglmrstu]|B[aehikr]?|C[adeflmnorsu]?|D[bsy]|E[rsu]|F[elmr]?|G[ade]|H[efgos]?|I[nr]?|Kr?|L[airuv]|M[cdgnot]|N[abdehiop]?|O[gs]?|P[abdmortu]?|R[abefghnu]|S[bcegimnr]?|T[abcehilms]|U|V|W|Xe|Yb?|Z[nr]</text></g><path d="M1753.0 31h10" /><path d="M 1763.0 31 h 20 m -10 -10 v 20 m 10 -20 v 20"></path></g><style>/* <![CDATA[ */
	svg.railroad-diagram {
		background-color:hsl(30,20%,95%);
	}
	svg.railroad-diagram path {
		stroke-width:3;
		stroke:black;
		fill:rgba(0,0,0,0);
	}
	svg.railroad-diagram text {
		font:bold 14px monospace;
		text-anchor:middle;
	}
	svg.railroad-diagram text.label{
		text-anchor:start;
	}
	svg.railroad-diagram text.comment{
		font:italic 12px monospace;
	}
	svg.railroad-diagram rect{
		stroke-width:3;
		stroke:black;
		fill:hsl(120,100%,90%);
	}
	svg.railroad-diagram rect.group-box {
		stroke: gray;
		stroke-dasharray: 10 5;
		fill: none;
	}

/* ]]> */
</style></svg>
        </div>
    </div>

    <div class="railroad-group">
        <h1 class="railroad-heading" id="optional-separator-0009">optional_separator</h1>
        <div class="railroad-description"></div>
        <div class="railroad-svg">
            <svg class="railroad-diagram" height="102" viewBox="0 0 202.5 102" width="202.5" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="translate(.5 .5)">
<g>
<path d="M20 53v20m10 -20v20m-10 -10h20" /></g><g>
<path d="M40 63h0.0" /><path d="M162.5 63h0.0" /><path d="M40.0 63a10 10 0 0 0 10 -10v-23a10 10 0 0 1 10 -10" /><g>
<path d="M60.0 20h82.5" /></g><path d="M142.5 20a10 10 0 0 1 10 10v23a10 10 0 0 0 10 10" /><path d="M40.0 63h20" /><g>
<path d="M60.0 63h0.0" /><path d="M142.5 63h0.0" /><rect class="group-box" height="38" rx="10" ry="10" width="82.5" x="60" y="44"></rect><g class="non-terminal ">
<path d="M60.0 63h10.0" /><path d="M132.5 63h10.0" /><rect height="22" width="62.5" x="70" y="52"></rect><a xlink:href="#z-0008"><text x="101.25" y="67">= | ·</text><text x="101.25" y="67">= | ·</text></a></g><g class="non-terminal ">
<path d="M60.0 36h0.0" /><path d="M140.0 36h0.0" /><text class="comment" x="100" y="41">[suppress]</text></g></g><path d="M142.5 63h20" /></g><path d="M 162.5 63 h 20 m -10 -10 v 20 m 10 -20 v 20"></path></g><style>/* <![CDATA[ */
	svg.railroad-diagram {
		background-color:hsl(30,20%,95%);
	}
	svg.railroad-diagram path {
		stroke-width:3;
		stroke:black;
		fill:rgba(0,0,0,0);
	}
	svg.railroad-diagram text {
		font:bold 14px monospace;
		text-anchor:middle;
	}
	svg.railroad-diagram text.label{
		text-anchor:start;
	}
	svg.railroad-diagram text.comment{
		font:italic 12px monospace;
	}
	svg.railroad-diagram rect{
		stroke-width:3;
		stroke:black;
		fill:hsl(120,100%,90%);
	}
	svg.railroad-diagram rect.group-box {
		stroke: gray;
		stroke-dasharray: 10 5;
		fill: none;
	}

/* ]]> */
</style></svg>
        </div>
    </div>

    <div class="railroad-group">
        <h1 class="railroad-heading" id="z-0008">= | ·</h1>
        <div class="railroad-description"></div>
        <div class="railroad-svg">
            <svg class="railroad-diagram" height="62" viewBox="0 0 154.0 62" width="154.0" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="translate(.5 .5)">
<g>
<path d="M20 21v20m10 -20v20m-10 -10h20" /></g><path d="M40 31h10" /><g class="terminal ">
<path d="M50 31h0.0" /><path d="M104.0 31h0.0" /><rect height="22" rx="10" ry="10" width="54" x="50" y="20"></rect><text x="77" y="35">[=·]</text></g><path d="M104.0 31h10" /><path d="M 114.0 31 h 20 m -10 -10 v 20 m 10 -20 v 20"></path></g><style>/* <![CDATA[ */
	svg.railroad-diagram {
		background-color:hsl(30,20%,95%);
	}
	svg.railroad-diagram path {
		stroke-width:3;
		stroke:black;
		fill:rgba(0,0,0,0);
	}
	svg.railroad-diagram text {
		font:bold 14px monospace;
		text-anchor:middle;
	}
	svg.railroad-diagram text.label{
		text-anchor:start;
	}
	svg.railroad-diagram text.comment{
		font:italic 12px monospace;
	}
	svg.railroad-diagram rect{
		stroke-width:3;
		stroke:black;
		fill:hsl(120,100%,90%);
	}
	svg.railroad-diagram rect.group-box {
		stroke: gray;
		stroke-dasharray: 10 5;
		fill: none;
	}

/* ]]> */
</style></svg>
        </div>
    </div>


</body>
</html>
